41. JZ6045,<The> hidden face of Eve :
پدیدآورنده: by Lars Kirchhoff. ,William E. Landis, Robin L. Chandler, editors.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
42. Job scheduling strategies for parallel processing :
پدیدآورنده: Dalibor Klusáček, Walfredo Cirne, Narayan Desai (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer capacity-- Management, Congresses.,Computer scheduling, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture & logic design.,Computer capacity-- Management.,Computer scheduling.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Parallel processing (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
58
43. Knowledge and technology integration in production and services :
پدیدآورنده: edited by Vladimír Marǐk, Luis M. Camarinha-Matos, Hamideh Afsarmanesh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer integrated manufacturing systems -- Congresses.,Manufacturing processes -- Automation -- Congresses.,Systems engineering -- Congresses.
رده :
TS155
.
63
E358
2002
44. Knowledge and technology integration in production and services :
پدیدآورنده: edited by Vladimír Marǐk, Luis M. Camarinha-Matos, Hamideh Afsarmanesh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer integrated manufacturing systems -- Congresses.,Manufacturing processes -- Automation -- Congresses.,Systems engineering -- Congresses.
46. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
48. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
49. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
پدیدآورنده: Tizina Margaria, Bernhard Steffen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
50. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده: E. Brinksma ... )et al.(, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
51. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده: Ed Brinksma )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
52. 0203931254 (ebook)
پدیدآورنده: edited by Nancy Snow, Philip M. Taylor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
54. xiv, 237 p. :
پدیدآورنده: Chris Johnson & Jolyon Leslie.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
55. xviii, 5,Intern
پدیدآورنده: Carl F. Goodman. ,Jung Wook Cho.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
